$\forall$$a$, $b$, $c$:$\mathbb{Q}$. $a$ $\leq$ $b$ $\leq$ $c$ $\in$ $\mathbb{P}$